package org.etsi.ttcn.tci;

import java.io.Serializable;

public interface TciModuleIdList extends Serializable {
    public int                   size();
    public boolean               isEmpty();
    public java.util.Enumeration getImportedModules();
    public TciModuleId   	 get(int index);
}
